HOMOGENEITY AND FIX-POINTS: GOING FORTH!

Homogeneity and Fix-Points: Going Forth!

While the back-and-forth method has been often attributed to Cantor, it turns out that in the original proof of the characterisation of countable linear dense orders, themapping is constructed in a single direction. Cameron has called this method Forth and has shown that it can fail to build an automorphism for some homogeneous structures. We give in this paper a characterisation of those homog...

Ontologies And Databases: Going Back And Forth

Interoperability of ontologies and databases has received a lot of attention recently. However, most of the work has concentrated on specific problems (such as storing an ontology in a database or making database data available to ontologies) and referred to specific models for each of the two. Here we propose an approach that aims at being more general and model independent. In fact, it works ...

Going back and forth in metacommunication threads

This paper presents an exploratory study about how savvy end users configure return points in mediated interactions with Web applications through WNH (Web Navigation Helper), a user agent that supports rephrasing, explanation, commentary and elaboration of interaction in scripted Web activities. The study is part of a long-term research on selfexpression through software programming. Savvy user...

Going Forth: Visions of Buddhist Vinaya

Non-monotonic Pre-fix Points and Learning

We consider the problem of finding pre-fixed points of interactive realizers over arbitrary knowledge spaces, obtaining a relative recursive procedure. Knowledge spaces and interactive realizers are an abstract setting to represent learning processes, that can interpret non-constructive proofs. Atomic pieces of information of a knowledge space are stratified into levels, and evaluated into trut...